html {
	background  : #000;
	color       : #ccc;
	font        : 13px monospace;
	height      : 100%;
	line-height : 18px;
	width       : 100%;
}

#sh-container greeting {
	color : #faf;
}
#sh-container greeting at,
#sh-container greeting path {
	color : #faa;
}
#sh-container userinput {
	/* @FIX opera bug here */
	word-wrap   : break-word;
}
#sh-container userinput selection {
	background  : #ccc;
	border-left : 1px solid #ccc;
	color       : #000;
	margin-left : -1px;

}
#sh-container userinput selection.hide {
	border-left : 0 none;
	margin-left : 0;
}


/* Just for unit-tests page */
html.tests {
	background : white;
	color      : black;
}
html.tests #sh-container {
	background : black;
	color      : #ccc;
	height     : 400px;
	margin     : 4px auto;
	overflow-y : auto;
	padding    : 4px;
	width      : 600px;
}